﻿using System;

namespace Pegasus.Diagnostics.Contracts
{
	/// <summary>
	/// Enumeration that shows the type of failure that occured when a code contract fails.
	/// </summary>
	public enum ContractFailureKind
	{
		/// <summary>
		/// The failure happened in a precondition of a method.
		/// </summary>
		Precondition,

		/// <summary>
		/// The failure happened in an assertion.
		/// </summary>
		Assert,

		/// <summary>
		/// The failure happened in an assumption.
		/// </summary>
		Assume
	}
}
